Every Quasigroup Is Isomorphic to a Subdirectly Irreducible Quasigroup modulo Its Monolith
نویسندگان
چکیده
Every quasigroup (loop, Bol loop, group, respectively) is isomorphic to the factor of a subdirectly irreducible quasigroup (loop, Bol loop, group, respectively) over its monolithic congruence.
منابع مشابه
The Factor of a Subdirectly Irreducible Algebra through Its Monolith
A nontrivial algebra with at least one at least binary operation is isomorphic to the factor of a subdirectly irreducible algebra through its monolith if and only if the intersection of all its ideals is nonempty.
متن کاملOn reducibility of n-ary quasigroups, II
An n-ary operation Q : Σ → Σ is called an n-ary quasigroup of order |Σ| if in the equation x0 = Q(x1, . . . , xn) knowledge of any n elements of x0, . . . , xn uniquely specifies the remaining one. Q is permutably reducible ifQ(x1, . . . , xn) = P ` R(xσ(1), . . . , xσ(k)), xσ(k+1), . . . , xσ(n) ́ where P and R are (n − k + 1)-ary and k-ary quasigroups, σ is a permutation, and 1 < k < n. An m-a...
متن کاملOn Middle Universal m-Inverse Quasigroups and Their Applications to Cryptography
This study presents a special type of middle isotopism under which m-inverse quasi-groups are isotopic invariant. A sufficient condition for an m-inverse quasigroup that is specially isotopic to a quasigroup to be isomorphic to the quasigroup isotope is established. It is shown that under this special type of middle isotopism, if n is a positive even integer, then, a quasigroup is an m-inverse ...
متن کاملun 2 01 1 On connection between reducibility of an n - ary quasigroup and that of its retracts 1 Denis
An n-ary operation Q : Σ → Σ is called an n-ary quasigroup of order |Σ| if in the equation x0 = Q(x1, . . . , xn) knowledge of any n elements of x0, . . . , xn uniquely specifies the remaining one. An n-ary quasigroup Q is (permutably) reducible if Q(x1, . . . , xn) = P ( R(xσ(1), . . . , xσ(k)), xσ(k+1), . . . , xσ(n) ) where P and R are (n−k+1)-ary and k-ary quasigroups, σ is a permutation, a...
متن کاملHomomorphic Images of Finite Subdirectly Irreducible Unary Algebras
We prove that a finite unary algebra with at least two operation symbols is a homomorphic image of a (finite) subdirectly irreducible algebra if and only if the intersection of all its subalgebras which have at least two elements is nonempty. We are concerned with the following question: Which algebras are homomorphic images of subdirectly irreducible algebras? A necessary condition, discovered...
متن کامل